package com.googlecode.kipler.satisfiability.completion.branching;

import com.googlecode.kipler.satisfiability.reasoner.UnsatisfiableException;

public abstract class AbstractBacktracking {
	private BranchingPoint currentPoint;

	private UnsatisfiableException exception;

	public abstract BranchingPoint apply();

	public BranchingPoint getCurrentPoint() {
		return currentPoint;
	}

	public void setCurrentPoint(BranchingPoint currentPoint) {
		this.currentPoint = currentPoint;
	}

	public UnsatisfiableException getException() {
		return exception;
	}

	public void setException(UnsatisfiableException exception) {
		this.exception = exception;
	}

}
